Contextual reasoning and importing contexts
نویسنده
چکیده
This paper tackles the problem of understanding when and how a reasoning component of a distributed reasoning system is affected by the other components, and how it affects them. A number of relevant concepts which have a precise intuition in terms of cooperative reasoning systems are proposed thus providing a ground for defining a particular class of contexts importing context. The notion of importing context refers to those contexts of a MCS satisfying the property that only correct with respect to the other contexts formulas are derivable from them. A number of properties of the importing contexts are presented and discussed in a framework of cooperative reasoning systems.
منابع مشابه
Alternative Strategies for Conflict Resolution in Multi-Context Systems
Multi-Context Systems are logical formalizations of distributed context theories connected through mapping rules, which enable information flow between different contexts. Reasoning in Multi-Context Systems introduces many challenges that arise from the heterogeneity of contexts with regard to the language and inference system that they use, and from the potential conflicts that may arise from ...
متن کاملLocal Models Semantics, or Contextual Reasoning = Locality + Compatibility
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise the two main intuitions underlying contextual reasoning: (i) reasoning is mainly local and uses only part of what is potentially available (e.g., what is known, the available inference procedures), this part is what we ...
متن کاملIdentification and Distribution of Interactional Contexts in EFL Classes: The Effect of Two Contextual Factors
This study aims at empirically furthering awareness of the organization of interaction in EFL classes. Informed by the methodological framework of conversation analysis, it draws upon a corpus of 52 three-hour naturally-occurring classroom interaction to identify classroom interactional contexts based on the structuring of the pedagogic goals in turn-taking sequences. Conversation analytic proc...
متن کاملContextual Terminologies
The paper addresses the issue of contextual representations of ontologies, as it arises in the area of normative system specifications for modeling multiagent systems. To this aim, the paper proposes a formalization of a notion of contextual terminology, that is to say, a terminology holding only with respect to a specific context. The formalization is obtained by means of a formal semantics fr...
متن کاملReasoning about Contextual Requirements for Mobile Information Systems: a Goal-based Approach
Mobile information systems are characterized by their ability to adapt to varying contexts. There is a strong relationship between the requirements of a mobile information system and its operational context. On the one hand, context can be considered to determine the requirements, the alternatives that can be adopted to satisfy these requirements, and qualities of the systems. On the other hand...
متن کامل